1. Calendrical calculations :
پدیدآورنده: Edward M. Reingold, Illinois Institute of Technology, Chicago, Nachum Dershowitz, Tel Aviv University, Israel
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calendar-- Mathematics.,Calendars.,Calendar-- Mathematics.
رده :
CE12
.
R45
2017
2. Calendrical calculations
پدیدآورنده: Dershowitz, Nachum, 1591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Calendar
رده :
CE
12
.
D47
3. Calendrical calculations
پدیدآورنده: Edward M. Reingold, Nachum Dershowitz
کتابخانه: کتابخانه موسسه ژئوفيزيك دانشگاه تهران (تهران)
موضوع: Calendar
رده :
CE
12
.
R45
2001
4. Calendrical tabulations, 1900-2200
پدیدآورنده : Edward M. Reingold, Nachum Dershowitz
موضوع : Calendar,Computer algorithms,Chronology, Historical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده: Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
6. Fields of Logic and Computation
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
7. Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
8. Fields of Logic and Computation II
پدیدآورنده: / Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Fields of Logic and Computation II
پدیدآورنده: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
10. Fields of logic and computation
پدیدآورنده: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer science, Mathematics,Information theory,Formal methods (Computer science)
رده :
QA76
.
9
.
M35F54
2010
11. Language, Culture, Computation
پدیدآورنده: \ Nachum Dershowitz, Ephraim Nissan (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computational linguistics,زبان‌شناسی کامپیوتری,a03,a03
رده :
P
98
.
L32
2014
E-Book
,
12. Language, Culture, Computation. Computational Linguistics and Linguistics
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. Language, Culture, Computation. Computing of the Humanities, Law, and Narratives
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
14. The evolution of programs
پدیدآورنده: Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Programmeren (computers),Programmierung EDV.
رده :
QA76
.
6
N334
1983
15. Theory and Technology-Language, Culture, Computation. Computing
پدیدآورنده: / Nachum Dershowitz, Ephraim Nissan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
16. Verification
پدیدآورنده: / Nachum Dershowitz (ed.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47V48
2003
17. Verification:
پدیدآورنده: edited by Nachum Dershowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2004
18. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
پدیدآورنده: Nachum Dershowitz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2772
